Auflistung Universitätsbibliographie nach Autor "Brachthäuser, Jonathan Immanuel"

Anzeige der Dokumente 1-15 von 15

Back to Direct Style: Typed and Tight

Ostermann, Klaus; Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Müller, Marius (2023)
Capturing Types

Brachthäuser, Jonathan Immanuel; Odersky, M.; Lhoták, O.; Lee, E.; Boruch-Gruszecki, A. (2023)
Capturing Types

Brachthäuser, Jonathan Immanuel; Lhoták, Ondřej; Lee, Edward; Boruch-Gruszecki, Aleksander (2023)
Compiling effect handlers in capability-passing style

Schuster, Philipp; Brachthäuser, Jonathan Immanuel; Ostermann, Klaus (2020)
Design and implementation of effect handlers for object-oriented programming languages

Brachthäuser, Jonathan Immanuel (2019)
Effect Handlers and General Purpose Languages

Brachthäuser, Jonathan Immanuel; Cong, Youyou; Gibbons, Jeremy (2024)
Effect handlers for the masses

Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (2018)
Effects as capabilities: effect handlers and lightweight effect polymorphism

Brachthäuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (2020)
Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala

Brachthaeuser, Jonathan Immanuel; Schuster, Philipp; Ostermann, Klaus (2020)
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

Müller, Marius; Schuster, Philipp; Lindegaard Starup, Jonathan; Ostermann, Klaus; Brachthäuser, Jonathan Immanuel (2023)
From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers

Brachthäuser, Jonathan Immanuel; Ostermann, Klaus; Lindegaard Starup, Jonathan; Schuster, Philipp; Müller, Marius (2023)
Getting into the Flow: Towards Better Type Error Messages for Constraint-Based Type Inference

Brachthäuser, Jonathan Immanuel; Binder, David; Parreaux, Lionel; Bhanuka, Ishan (2023)
Parsing with first-class derivatives

Brachthäuser, J. I.; Rendel, T.; Ostermann, K. (2016)
Qualifying System F-sub

Brachthäuser, Jonathan Immanuel; Lhoták, Ondřej; Satheeskumar, Kavin; You, James; Zhao, Yaoyu; Lee, Edward (2023)
With or Without You: Programming with Effect Exclusion

With or Without You: Programming with Effect Exclusion; Schuster, Philipp; Madsen, Magnus; Lutze, Matthew (2023)

Anzeige der Dokumente 1-15 von 15

Publikation melden

Hilfe und Informationen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen

Auflistung Universitätsbibliographie nach Autor "Brachthäuser, Jonathan Immanuel"

DSpace Repositorium (Manakin basiert)

Auflistung Universitätsbibliographie nach Autor "Brachthäuser, Jonathan Immanuel"

Stöbern

Gesamter Bestand

In diesem Bereich

Mein Benutzerkonto